Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
241	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
242	SILENT PARTNERS: ARTIST AND MANNEQUIN FROM FUNCTION TO FETISH THE FITZWILLIAM MUSEUM, CAMBRIDGE 14 OCTOBER 2014 TO 25 JANUARY 2015 Protection under the Act is sought for the objects listed: Object type: Mannequin Add to Reading List Source URL: www.fitzmuseum.cam.ac.uk Language: English - Date: 2014-08-15 07:17:13 Provenance Accademia Carrara Loan Museology Humanities Science Archival science Art history Data collection
243	INCONTRO FUNCTION PACKAGE Terms and Conditions for exclusive booking of the restaurant Important You are booking Incontro Restaurant for your function and we advise the Proprietors, Executive Chef and Management do not a Add to Reading List Source URL: www.incontro.com.au Language: English - Date: 2013-06-18 04:50:10 Business software Electronic commerce Calculus Mathematical optimization Function Menu Point of sale Maxima and minima Type system Mathematics Business Mathematical analysis
244	Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-07-02 11:28:23 General topology Topos Baire space Continuous function Space Ordinal number Cantor space Grothendieck topology Constructible universe Topology Mathematics Sheaf theory
245	Limelight Bistro & Bar offers a great function space, a full bar and delicious cuisine selections to complement any type of corporate event. Choose from cocktail style or formal/informal sit-down dining experiences. Our Add to Reading List Source URL: www.loganentertainmentcentre.com.au Language: English - Date: 2012-09-04 23:01:53 Party Bar Cocktail Cuisine Canapé Food and drink Buffet Meals
246	The Ins and Outs of Gradual Type Inference Aseem Rastogi Avik Chaudhuri Stony Brook University Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-09-04 23:14:52 Programming language theory Type system Type inference Type safety Variable Closure System F Hindley–Milner Function Software engineering Type theory Computing
247	Draft submitted to POPLClosed Type Families with Overlapping Equations Richard A. Eisenberg University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:19 Continuous function Denotational semantics Generic programming Software engineering Symbol Theoretical computer science Mathematics Calculus
248	Type-Safe Cast Stephanie Weirich ∗ Department of Computer Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Program analysis Type system Lambda calculus Function Symbol Curry–Howard correspondence Mathematics Mathematical logic Type theory
249	Tutorial Corner: Introduction to Traits Introduction to Traits Knowing the type of an object allows you to find out a lot about the object. For example, you can determine if an object has a particular data or function me Add to Reading List Source URL: www.stevedewhurst.com Language: English - Date: 2015-01-04 09:38:52 Software engineering Typedef Concepts Typename Sequence container Circular buffer Associative containers Struct Template C++ Computing Computer programming
250	The intrinsic topology of a universe in intuitionistic type theory Mart´ın Escard´ o University of Birmingham, UK 8th DCM (in CiE), June 2012, Cambridge, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-17 04:04:56 Sheaf theory Topos Constructivism Continuous function Topological space Category of topological spaces Set theory Universe Intuitionistic type theory Topology Mathematics General topology

UPDATE